Scalad: An Interactive Type-level Debugger Hubert Plociniczak École Polytechnique Fédérale de Lausanne {first.last}@epfl.ch

Source URL: lampwww.epfl.ch

• Software engineering
• Computing
• Computer programming
• Type theory
• Data types
• Functional languages
• Procedural programming languages
• Cross-platform software
• Type inference
• Scala
• Covariance and contravariance
• Type system

A convex formulation for model predictive perimeter flow control in multi-region cities Anastasios Kouvelas Mohammadreza Saeedmanesh Nikolas Geroliminis École Polytechnique Fédérale de Lausanne

Source URL: www.strc.ch

• Transport
• Land transport
• Mathematical optimization
• Operations research
• Road transport
• Convex optimization
• Control theory
• Model predictive control
• Linear programming
• Traffic flow
• Fundamental diagram of traffic flow
• Optimal control

SnapQueue: Lock-Free Queue with Constant Time Snapshots Aleksandar Prokopec École Polytechnique Fédérale de Lausanne, Switzerland Abstract

Source URL: axel22.github.io

• Abstract data types
• Computing
• Data structures
• Software engineering
• Computer science
• Queue
• Double-ended queue
• Amortized analysis
• Persistent data structure
• Rope
• Conc-Tree list

Sound Proof of Proximity of Knowledge Serge Vaudenay ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE

Source URL: security-lab.jaist.ac.jp

• Cryptography
• IP
• Distance-bounding protocol
• Challengeresponse authentication
• Computational complexity theory
• Interactive proof system

Model Predictive Control of Urban Networks with Perimeter Control and Route Guidance Isik Ilber Sirmatel Nikolas Geroliminis École Polytechnique Fédérale de Lausanne

Source URL: www.strc.ch

• Transport
• Land transport
• Road transport
• Traffic flow
• Transportation engineering
• Mathematical physics
• Road traffic management
• Fundamental diagram of traffic flow
• Traffic simulation
• Model predictive control
• Traffic model
• Teletraffic engineering

Cache-Aware Lock-Free Concurrent Hash Tries Aleksandar Prokopec, Phil Bagwell, Martin Odersky École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland {rstname}.{lastname}@ep.ch

Source URL: axel22.github.io

• Computer programming
• Associative arrays
• Software engineering
• Information science
• Ctrie
• Search algorithms
• Hashing
• Data types

RIVER NETWORKS AS ECOLOGICAL CORRIDORS FOR SPECIES, POPULATIONS AND PATHOGENS OF WATER-BORNE DISEASE ANDREA RINALDO Laboratory of Ecohydrology ECHO/IIE/ENAC, Ecole Polytechnique Federale de Lausanne (EPFL), CH-1015 Lausa

Source URL: waterinstitute.ufl.edu

• Intestinal infectious diseases
• Conservation biology
• Cholera outbreaks
• Bacterial diseases
• Ecology
• Cholera outbreaks and pandemics
• Haiti cholera outbreak
• Cholera
• Wildlife corridor
• Ecohydrology
• Biodiversity

NEST by Example: An Introduction to the Neural Simulation Tool NEST VersionMarc-Oliver Gewaltig1 , Abigail Morrison2 , and Hans Ekkehard Plesser3, 2 1 Blue Brain Project, Ecole Polytechnique Federale de Lausanne,

Source URL: www.nest-simulator.org

• Computational neuroscience
• Nervous system
• Neuroscience
• Neurophysiology
• Neural networks
• NEST
• Biological neuron model
• Neuron
• Action potential
• Axon
• Excitatory synapse
• Artificial neuron

DETECTION OF COLLISIONS OF POLYGONS BY USING A TRIANGULATION D. Müller, Th. M. Liebling Département de Mathématiques École Polytechnique Fédérale de Lausanne

Source URL: www.apprendre-en-ligne.net

• Triangulation
• Geometric topology
• Polygon
• Triangle
• Trigonometry
• Polygon triangulation
• Delaunay triangulation

Green Chemistry Seminar (CCVC) (Open to public) Professor Nicolai Cramer Laboratory of Asymmetric Catalysis and Synthesis (LCSA) École Polytechnique Fédérale de Lausanne (Switzerland)

Source URL: ccvc.research.mcgill.ca